Toward an abstract theory of data compression
نویسندگان
چکیده
منابع مشابه
Incremental Data Compression |extended Abstract|
Data compression is used in data transmission and data storage. When data compression is used, data is transmitted faster, and le storage requires less space. Many aspects of data compression are described in Leweler and Hirschberg [6], and Storer [9]. An important technique for data compression is textual substitution. Textual substitution identi es repeated substrings and replaces some or all...
متن کاملToward an Abstract Computer Virology
We are concerned with theoretical aspects of computer viruses. For this, we suggest a new definition of viruses which is clearly based on the iteration theorem and above all on Kleene’s recursion theorem. We show that we capture in a natural way previous definitions, and in particular the one of Adleman. We establish generic constructions in order to construct viruses, and we illustrate them by...
متن کاملToward a Stability Theory of Tame Abstract Elementary Classes
We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming the singular cardinal hypothesis (SCH), we prove a full characterization of the (high-enough) stability cardinals, and connect the stability spectrum with th...
متن کاملToward an Economizing Theory
Transaction cost economics is an economizing theory of organization, not an economizing theory of strategy. This paper proposes an extension that makes transaction cost economics (TCE) an economizing theory of strategy. In essence, the paper asserts that unbiased weighing of production costs, transaction costs, and demand shifts links the organization of individual transactions to the strategy ...
متن کاملToward an Abstract Machine Architecture for Intelligence
Our research defines a uniform framework for analyzing a representative sampling of existing architectures and frameworks for knowledge-intensive intelligent agents. We use this framework to build abstract definitions of representational and functional components that are common across architectures. Defining these abstract components essentially allows us to describe a target abstract machine ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1983
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90001-4